1

Inference from models of software systems

Year:
1985
Language:
english
File:
PDF, 1.05 MB
english, 1985
2

Finding reachable states of finite-state concurrent systems

Year:
1989
Language:
english
File:
PDF, 2.34 MB
english, 1989
3

Design feedback and its use in software design aid systems

Year:
1978
Language:
english
File:
PDF, 757 KB
english, 1978
6

An empirical study of iteration in applications software

Year:
1993
Language:
english
File:
PDF, 1.42 MB
english, 1993
7

Modeling and projection in software development

Year:
1983
Language:
english
File:
PDF, 1.13 MB
english, 1983
8

Algorithms for analyzing concurrent software systems using derivatives

Year:
1990
Language:
english
File:
PDF, 2.29 MB
english, 1990
9

Design feedback and its use in software design aid systems

Year:
1978
Language:
english
File:
PDF, 757 KB
english, 1978
11

Models as executable designs

Year:
1982
Language:
english
File:
PDF, 136 KB
english, 1982
12

The influence of low frequency vibration on pilot performance (as measured in a fixed base simulator)

Year:
1979
Language:
english
File:
PDF, 652 KB
english, 1979